🏭 Functional Compilers - abnv · Scour

Pratt Parsers: Expression Parsing Made Easy

journal.stuffwithstuff.com·4h

📊Pratt Parsers

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·20h

Build a Compiler in Five Projects

kmicinski.com·12h

🎭Racket Modules

The Adventures of a Pythonista in Schemeland/28

artima.com·18m

🔧Scheme Macros

Revisiting Regular Types

abseil.io·18m

🚀Hindley-Milner+

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·1d

🔒Rust Borrowing

I Built a Programming Language Where think Is a Keyword

dev.to·4h·

Discuss: DEV

10-Part Series on Breadth-First Traversals in Haskell

doisinkidney.com·1d·

Discuss: Hacker News

🌳Tree Walking

Let Lambda Come Over

yamlscript.org·17h

λLambda Calculus

Taming the Regex Monster: Optimizing Massive Literal Alternations

modern-c.blogspot.com·2d·

Discuss: r/golang

🔤Regex Engines

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

Memory-Safe Jule language emerges as C/C++ alternative

thenewstack.io·6h

Fast Autoscheduling for Sparse ML Frameworks

ajroot.pl·3d·

Discuss: Hacker News, r/Compilers

Enforcing Code Feature Requirements in C++

artima.com·18m

🪆Embedded DSLs

Tip of the Week #49: Argument-Dependent Lookup

abseil.io·18m

🔗Lexical Scoping

Agentic Proof-Oriented Programming

risemsr.github.io·2d·

Discuss: Lobsters, Hacker News

StatLLM: A Dataset for Evaluating the Performance of Large Language Models in Statistical Analysis

nature.com·1d

A GTM guide to AI models

revengine.substack.com

·2h·

Discuss: Substack

🏷️Attribute Grammars

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction

arxiv.org·1d

📝PEG Parsing

michaelhelvey/lilfuture: Educational async runtime for Rust

github.com·2d

⚙️Async State Machines

Loading more...